Skip to content

[NFC] Add more overview docs for stack switching #7806

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

kripken
Copy link
Member

@kripken kripken commented Aug 8, 2025

After discussions with @dschuff and @tlively I realized I might be able to
explain the stack switching approach better, so I wrote this PR.

@kripken kripken requested review from dschuff and tlively August 8, 2025 00:34
// unwind an If instruction then we note which arm of the If we unwound
// from, and then when we re-wind we enter that proper arm. For a Block,
// we can note the index we had executed up to, etc.
// * For values, we just save them (see below on |valueStack| however, as we
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe note that this will be done automatically and generically in visit, so the individual visitors do not need to worry about it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants